package animation.core;

import java.util.Map;

/**
 * Created by IntelliJ IDEA.
 * User: Pablo
 * Date: Aug 9, 2008
 * Time: 4:34:02 AM
 * To change this template use File | Settings | File Templates.
 */
public interface AlgorithmMonitorModel {

    String getAlgorithmName();

    void registerVariable(String name, String initialValue);

    void registerInvariant(String name, String value);

    void registerInvariant(String name, Object value);

    void setVariableValue(String name, String value);

    void setVariableValue(String name, Object value);

    void registerCounter(String name, int initialValue);

    void incrementCounter(String name);

    Map<String, String> getVariables();

    Map<String, String> getInvariants();

    Map<String, Integer> getCounters();

}
